package ch.epfl.lara.matcheck.verify.provers;

import ch.epfl.lara.matcheck.ast.Formula


trait FormulaStringer extends (Formula => String) {
  
  def apply(formula: Formula) = asString(formula)
  
  protected def asString(f: Formula): String
}
